Network invariants for real-time systemsGRINCHTEIN, Olga; LEUCKER, Martin.Formal aspects of computing. 2008, Vol 20, Num 6, pp 619-635, issn 0934-5043, 17 p.Article

Learning of event-recording automataGRINCHTEIN, Olga; JONSSON, Bengt; LEUCKER, Martin et al.Theoretical computer science. 2010, Vol 411, Num 47, pp 4029-4054, issn 0304-3975, 26 p.Article

When not losing is better than winning : Abstraction and refinement for the full μ-calculusGRUMBERG, Orna; LANGE, Martin; LEUCKER, Martin et al.Information and computation (Print). 2007, Vol 205, Num 8, pp 1130-1148, issn 0890-5401, 19 p.Article

A hierarchy of implementable MSC languagesBOLLIG, Benedikt; LEUCKER, Martin.Lecture notes in computer science. 2005, pp 53-67, issn 0302-9743, isbn 3-540-29189-X, 1Vol, 15 p.Conference Paper

Model checking probabilistic distributed systemsBOLLIG, Benedikt; LEUCKER, Martin.Lecture notes in computer science. 2003, pp 291-304, issn 0302-9743, isbn 3-540-20632-9, 14 p.Conference Paper

Don't know in probabilistic systemsFECHER, Harald; LEUCKER, Martin; WOLF, Verena et al.Lecture notes in computer science. 2006, pp 71-88, issn 0302-9743, isbn 3-540-33102-6, 1Vol, 18 p.Conference Paper

Functional programming languages for verification tools: a comparison of Standard ML and HaskellLEUCKER, Martin; NOLL, Thomas; STEVENS, Perdita et al.International journal on software tools for technology transfer (Print). 2005, Vol 7, Num 2, pp 184-194, issn 1433-2779, 11 p.Article

Local parallel model checking for the alternation-free μ-calculusBOLLIG, Benedikt; LEUCKER, Martin; WEBER, Michael et al.Lecture notes in computer science. 2002, pp 128-147, issn 0302-9743, isbn 3-540-43477-1Conference Paper

Extending compositional message sequence graphsBOLLIG, Benedikt; LEUCKER, Martin; LUCAS, Philipp et al.Lecture notes in computer science. 2002, pp 68-85, issn 0302-9743, isbn 3-540-00010-0, 18 p.Conference Paper

Dynamic Message Sequence chartsLEUCKER, Martin; MADHUSUDAN, P; MUKHOPADHYAY, Supratik et al.Lecture notes in computer science. 2002, pp 253-264, issn 0302-9743, isbn 3-540-00225-1, 12 p.Conference Paper

Learning of event-recording automataGRINCHTEIN, Olga; JONSSON, Bengt; LEUCKER, Martin et al.Lecture notes in computer science. 2004, pp 379-395, issn 0302-9743, isbn 3-540-23167-6, 17 p.Conference Paper

Generalised regular MSC languagesBOLLIGL, Benedikt; LEUCKER, Martin; NOLL, Thomas et al.Lecture notes in computer science. 2002, pp 52-66, issn 0302-9743, isbn 3-540-43366-XConference Paper

Truth/SLC : A parallel verification platform for concurrent systemsLEUCKER, Martin; NOLL, Thomas.Lecture notes in computer science. 2001, pp 255-259, issn 0302-9743, isbn 3-540-42345-1Conference Paper

Model-based testing : A glossaryPRETSCHNER, Alexander; LEUCKER, Martin.Lecture notes in computer science. 2005, pp 607-609, issn 0302-9743, isbn 3-540-26278-4, 3 p.Conference Paper

Monitoring of real-time propertiesBAUER, Andreas; LEUCKER, Martin; SCHALLHART, Christian et al.Lecture notes in computer science. 2006, pp 260-272, issn 0302-9743, isbn 3-540-49994-6, 1Vol, 13 p.Conference Paper

Verifying qualitative properties of probabilistic programsBOLLIG, Benedikt; LEUCKER, Martin.Lecture notes in computer science. 2004, pp 124-146, issn 0302-9743, isbn 3-540-22265-0, 23 p.Conference Paper

State verificationBJÖRKLUND, Henrik.Lecture notes in computer science. 2005, pp 69-86, issn 0302-9743, isbn 3-540-26278-4, 18 p.Conference Paper

Finite state machinesJONSSON, Bengt.Lecture notes in computer science. 2005, pp 611-614, issn 0302-9743, isbn 3-540-26278-4, 4 p.Conference Paper

State identificationKRICHEN, Moez.Lecture notes in computer science. 2005, pp 35-67, issn 0302-9743, isbn 3-540-26278-4, 33 p.Conference Paper

Test generation algorithms based on preorder relationsTSCHAEN, Valéry.Lecture notes in computer science. 2005, pp 151-171, issn 0302-9743, isbn 3-540-26278-4, 21 p.Conference Paper

Conformance testingGARGANTINI, Angelo.Lecture notes in computer science. 2005, pp 87-111, issn 0302-9743, isbn 3-540-26278-4, 25 p.Conference Paper

TTCN-3DIN, George.Lecture notes in computer science. 2005, pp 465-496, issn 0302-9743, isbn 3-540-26278-4, 32 p.Conference Paper

Testing theory for probabilistic systemsWOLF, Verena.Lecture notes in computer science. 2005, pp 233-275, issn 0302-9743, isbn 3-540-26278-4, 43 p.Conference Paper

Run-time verificationCOLIN, Séverine; MARIANI, Leonardo.Lecture notes in computer science. 2005, pp 525-555, issn 0302-9743, isbn 3-540-26278-4, 31 p.Conference Paper

Evaluating coverage based testingGASTON, Christophe; SEIFERT, Dirk.Lecture notes in computer science. 2005, pp 293-322, issn 0302-9743, isbn 3-540-26278-4, 30 p.Conference Paper